sequent calculus

[网络] 相继式演算